data DiagSum p = forall a. DiagSum (p a a)